#!/bin/sh
# Modificar esto!
export SATIN_HOME=".."

rm -rf tmp
mkdir tmp
javac -d tmp -g -classpath ../lib/satin-2.1.jar ../../src/setCoveringProblem/original/*.java
javac -d tmp -g -classpath ../lib/satin-2.1.jar ../../src/adaptiveIntegration/original/*.java


../bin/satinc -cp tmp -satin "adaptiveIntegration.original.AdapInt,setCoveringProblem.original.Cover" tmp

( cd tmp ; jar c . ) > lib/satin-grid.jar
rm -rf tmp